| 翻訳と辞書 |
| HR (software) ： ウィキペディア英語版 |
HR (software)
:''For human resources software see Human resource management system''
HR is a software program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton, and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
==HRL==
HR forms the basis for the artificial intelligence program HRL (the "L" in honour of Imre Lakatos), developed by Alison Pease, Simon Colton, Alan Smaill and John Lee.〔(【引用サイトリンク】title=HRL )〕 HRL generates software "student" agents, which are given information with which they attempt to make inferences. It evaluates how "interesting" the inferences are and sends those that are sufficiently interesting to a "teacher" agent. The teacher arranges group discussion amongst the students and may request further modification of conjectures.
One successful result by HRL was the independent invention of Goldbach's conjecture. Student agents, given the concept of integers and division, derived the concept of "even numbers" and "the sum of two primes", then generated the conjecture "all even numbers can be expressed as the sum of two primes." The teacher prompted further development and one student found a counter-example (the number 2) and HRL modified the conjecture appropriately.〔
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「HR (software)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|